No sense in using FILE_SEPARATORs here, when MapName shall replace / with them anyway.