tweak to run-benchmarks.hs