Revert to running benchmarks once

That is calling Benchmark with .bm instead of .bmbm.