Comment out DIFF_OPTIONS, which makes vimdiff does not work.