Tweak benchmarks for hsbencher >= 1.4