use Benchmark rather than bench; updated run_bench.ml accordingly