Fix build under iOS