Use benny in some benchmarks