Make 32-bit binaries by default