Improve build for 32-bit Linux.