Debian package fixes