https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89864
--- Comment #14 from Jürgen Reuter <juergen.reuter at desy dot de> --- Unfortunately, the downgrade to XCode 10.1 didn't work, I still get the buggy/problematic headers. That is really annoying, because now I am stuck with my development.
