switch benchmarks to -O3