fixes to debian/rules