Changes to Debian package name and control files