extras/ios: fix compilation with Xcode 5.1