split "show timings"-part out of benchmarking script