One more benchmark script tweak