fix dl-deb-jigdo.sh