option('update_mimedb', type: 'boolean', value: true,
       description: 'Call update-mime-database (and similar) after install')
option('all_gui', type: 'boolean', value: false,
       description: 'Build all found GUI backends')