Set 32-bit as default as 64-bit is broken now.