Fixup debian/control