https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48957
--- Comment #4 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Well, I suppose you could have a new option to say what set of fixed headers to use, in the case where your sysroot is not based on the one used when building GCC.