fix default EDITOR on linux