Fix debian/control