+ /**
+ * Get the file name in a unicode safe encoding used by the file system.
+ * Only use this for accessing the file with standard I/O functions
+ * non explicitly unicode aware, e.g. with an fstream. This can also
+ * be used for passing file names to external commands, but only if
+ * you are sure that the stem of the name will not be used for
+ * producing derivative files. For example, don't use this for passing
+ * file names to LaTeX, as the stem of the .dvi file will not correspond
+ * to the stem of the .tex file anymore.
+ * Use os::CREATE if the file is to be accessed for writing.
+ */
+ std::string toSafeFilesystemEncoding(os::file_access how = os::EXISTING) const;
+