Sync Debian packaging from official packages