Indeed, the 32 bit version was detected again. It should be fixed now (or in a couple of minutes). Thanks for the heads-up!