Fix building Benchmark on Linux