Fix iOS build after r237157