But if we must expect a GNU-compatible diff, I'd recommend we rather have mc patched to invoke /usr/bin/gnu/diff directly, and not screw with people's PATHs.