Fix integer overflow issue on 32-bit Linux.