One more iOS build fix.