[Japo]

I've verified that the file is good on the server side, but I've had to try downloading it three times before doing it successfully. The server seems to be having problems, perhaps because of the size, although some of the times it aborted early, so it may be temporary.

Try re-downloading. If your browser doesn't inform you when the download is aborted, check the file's properties: its size (not "size on disk" but just "size") should be exactly 312,229,324 bytes.