Fix iOS build after r177035.