To be completely sure, run md5sum (can be had for instance here) on the file and post the checksum + exactly which file (URL/version etc) being used, and someone else here, having hopefully loaded the same successfully, can do the same and confirm if it's OK or not...
_________________________
/Michael