--- gcc/c-incpath.c.orig 2011-11-10 20:34:44.000000000 -0500 +++ gcc/c-incpath.c 2011-11-10 20:34:44.000000000 -0500 @@ -157,10 +157,7 @@ char *str; /* Should this directory start with the sysroot? */ - if (sysroot && p->add_sysroot) - str = concat (sysroot, p->fname, NULL); - else - str = update_path (p->fname, p->component); + str = update_path (p->fname, p->component); add_path (str, SYSTEM, p->cxx_aware, false); }