Fix #15 for iOS 64-bit.