fix 32-bit compile error