4 posts were merged into an existing topic: Changing file names at the time of downloading a zip file