Minor change to run-big-benchmarks.py