fix dumb bug in editor settings under Cygwin