Fix BenchmarkShell