directories as in built-in defaults, but spelled in a different
letter-case or with a different flavor of slashes.Sure, feel free to commit. I guess there should be a comment that FILENAME_CMP (from system.h) isn't used because it doesn't merge slashes. As I understand it. As for resolving symlinks, personally, I am unenthused about adding yet more system-dependent complexity for such a small and arguable point. I won't object if you or Sergey or whomever want to do it, though. Thanks, karl
