Hmm, seems to be something wrong with it, the zip archive is only 22 bytes in size and won't decompress...
It seems there was a problem with the zip. It's fixed now (normally).
