Provide more robust example of disabling 'undofile'