Fix the iOS build again.