Update download-tools.sh, add it to tar