Turned off generation of lots of benchmarks, now outsourced to scripts