I am having the same issue. I downloaded it via IE and FF and the filename is the same. Has anyone figured out a workaround for this? Or can I manually rename the file? Thanks!