option ('ubuntu-bionic-patched-vte', type : 'boolean', value : false)
option ('patched-vte', type : 'boolean', value : true)
option ('with-gpg', type : 'boolean', value : true)
