Renaming of file has definitely nothing to do with it. Did you check the md5sum? Iirc mrcrab provides them also. Why re-download fails? Try again...