iOS build fix after r164319.