Fix the re2 benchmarking engine.