Quote by Jerry Green: I have had the same problem. Just change file extension to .tar.gz then everything works O.K.
For some unknown reason the file extensions are always wrong.
Absolutely correct. I have always had to rename the file after downloading it in order for it to unzip properly using WinZip.