Make iOS code work again (after OS X related temporary changes)