set undofile option