iOS vs Android distribution in August 2018 (Android 9 on the market since few weeks, iOS few weeks before 12 update)