Add workaround for another Xamarin runtime bug