Debian packaging updates