deb_download_unpack.sh: change file separator string