Debian packaging changes