minor: more tweaks to run_benchmark.hs