Fix linux 32-bit build error