debian/pdmenurc etc
