Update Debian packaging files