option('tmpdir', type : 'string', value : '/tmp', description : 'writable directory for temporary files')