ediff diff switch, ido, shell/gdb fixups