debian/wmppprc etc
