Fixing broken build for iPhoneOS