Fixing debian/control after renaming the package.