We are moving our server today, expect a couple of hours of downtime.
Not downloading .exe files. Why not use a decent service?
First file downloaded with Firefox, second with Chrome. I suggest you try to download yourself.