Fix build in Benchmark