Заголовочные файлы gcc-4.8

У меня возникли некоторые проблемы с использованием файлов заголовков, предоставляемых gcc-4.8 с момента обновления до Ubuntu 13.10. Когда я компилирую с помощью компилятора Intel icc, он жалуется, что не может найти файл заголовка bits/c++config.h. Этот файл находится в /usr/include/x86_64-linux-gnu/c++/4.8/bits, но компилятор intel ищет в /usr/include/c++/4.8/bits. Файл c++config.h находится не во втором месте.

Я понимаю, что могу обойти эту проблему, включив первый каталог во время компиляции. Мой вопрос: почему эти два каталога не совпадают:

/usr/include/x86_64-linux-gnu/c++/4.8/bits

/usr/include/c++/4.8/bits

Файлы для этих каталогов показаны здесь в пакет libstdc ++ - 4.8-dev.