Let the command line choose which benchmarks run