fix linux 64-bit build