This IOS ifdef has no visible effect nowadays

So bin it then.

Change-Id: Id8b073cffb4043793e91a06662ecea1c147a771f