fix 64-bit version