Map Filename

I uploaded my map with the file name of "Footmen_Frenzy_XV_4.7", however, the resulting file name is "FootmenFrenzyXV47-1220192371". I know this doesn't affect the map at all, however, it does force people who already have the map to redownload it.

Is there a way to fix this issue? Can you fix it for me?|||Just post a note on your page telling them to manually rename the file. That's all you can really do about it.

This is a bug that has been around for a while. |||Ugh, could you let them know?

I posted it on my map description, but it doesn't warrant a re-approval.|||Oh, no, I didn't mean to let the moderator know, I meant to let the people who are downloading your map know that you want them to rename the file.