32-bit is just fine. I downloaded 32-bit versions and now happily clanlibbing. thank you!