Bug in 01f3b468 causes the same benchmark to be run repeatedly. Not so useful for the compare scripts.
