ediff-diff-options problem