Adapt core_download.sh to new tarballs published directly on redmine.org