fix 64-bit build