Debian package bug fixes