Fix in download script for when /bin/sh is dash (not bash)