Use GCC on 32bit Linux.