option('enable-gpl', type : 'boolean', value : false,
       description : 'enable GPL-licensed code')
