Minor tweak to .run-benchmarks.sh script