Fixing debian/control