The files downloaded and extracted fine for me. There is a problem with the filename, though. It showed up as two boxes, so I suspect the name is in a font my machine doesn't support. I renamed the extracted file and it worked fine.
Thanks for the info, Nimrod. (Chinese characters display as boxes or as ?'s on Windows computers that don't have the East Asian language pack installed.)