It is not a big deal, just change the name of the file. However, inexperienced users may not be able to extract it in its current form.
