Unreviewed, attempt to fix the iOS build after r185968.