ファイル自体が壊れている模様。 chrome でも、wget でも 失敗した。 何度かやり直して、ようやく正しいファイルがダウンロードできたみたい。 今後のため、ファイルサイズと md5sum を以下に書いておく。 name:setup_3.2.10.exe size:160724984 byte md5sum:e7d2c4ddb6d8305e9f85e421b358e0b1