Fixed compilation problem for benchmarks