fix 32 bit arch error