Fix up 32 bit Linux. I hope.