We made a few changes to address a couple issues with this in 7.4.2, specifically PDF files. We've got a few more changes in 7.5 to the download script in general that should fix the naming issue as well as a few other problems that needed fixing.