Fixed filename in download.sh