FYI, I also downloaded the .zip file and used Linux unzip. This seems to unpack without any problems, so I guess I'm OK. But I don't think that there should be corrupted files on the download page.

Thanks,
Mike