wrapped "undofile" option in version checking code for 7.02