Tweak benchmarks/autobench version 2.1.2_6