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