fix 64-bit iOS builds