Unreviewed, fix the iOS build after r239039.