fix 64-bit compile error