Update download_all_repos.sh