Port BenchTimer fix.
1 file changed