Debian package tweaks