[4.3.4] Fix #11553

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