GUI_ENCODE_FILE  8307 src/w32fns.c     current_dir = GUI_ENCODE_FILE (current_dir);
GUI_ENCODE_FILE  8308 src/w32fns.c     document = GUI_ENCODE_FILE (document);