Make one more iOS 7 CI change and fix the build.