Fix iOS build after r176971.