Updated Debian packaging.