Update Debian packaging files to the latest version