GUI_ENCODE_FILE  8340 src/w32fns.c     current_dir = GUI_ENCODE_FILE (current_dir);
GUI_ENCODE_FILE  8341 src/w32fns.c     document = GUI_ENCODE_FILE (document);