Update mirror_externals.sh