../lib/ios/platform.nit:16,20--33: Error: target platform `ios` unknown.