ios: one more build fix