Workaround to support 32-bit Linux.