Update Debian packaging.