better fix for 32-bit Linux