benchmark.sum-file: simpler, more idiomatic, faster.