Small update to run_benchmark.sh