update Debian packaging files