option('gdb_debugging', type : 'boolean', value : false)