Small fix for 64 bit on iOS.