Another possible solution for iOS misery

should fix #82