Fixing a memory leak in Benchmark