set -o errexit set -o verbose cd src/src/mongo/db/repl/tla_plus ./download-tlc.sh