option('tests', type : 'boolean', value : true,
    description : 'Build tests and benchmarks (requires Criterion)')