debian/control fix