normalize_filename 2513 src/w32.c        normalize_filename (p, '/');
normalize_filename 2520 src/w32.c        normalize_filename (p, '\\');