32 bits? I thought we were compiling with 64 bits already?