Так что ответ выше работает, по крайней мере, для ручной установки. Хотя даже после sudo make install, запуск gcc все еще только запускает версию запаса 4.6.3. Даже попытки gcc-4.8 или gcc-4.8.0 не работают. Запуск /app/gcc/4.8.0/bin/gcc кажется единственным, что работает для меня. Я имею в виду, что это немного хромает, но, по крайней мере, это работает.