option('devel', type: 'boolean', value: false)
option('distro', type: 'boolean', value: false)
