Make the olden benchmarks compile again