Hi!

Oooops we made a mistake in file naming ; 32bits and 64bits where switched. Files are now online, you can try downloading again the 32bits one, it should be good 🙂

Thanks for this report.