option('use-shipped-metis', type: 'boolean', value: true)
