This breaks the Xamarin.iOS build when building with MONO_BUILD_FROM_SOURCE=1 set (which is only a developer option, but eventually we will have to deal with it ...