deb_download_unpack.sh: extract *.debs with --vextract