[wip] Fixes for iOS 7.1 @ 64-bit