fixed OptionsFile::mkFilenameMapper()