Fix #11553

Fix an issue with stupid/bogus filenames generated by the map extractor.