Use update-alternatives
(da CLI) ou galternatives
(da GUI) para definir o padrão para o gcc.
Se você não tiver, instale com: sudo apt-get install galternatives
.
Eu usaria a versão GUI, é mais simples para um iniciante.
da CLI:
sudo update-alternatives --install /usr/bin/gcc gcc /path/to/newer/gcc 40
sudo update-alternatives --install /usr/bin/gcc gcc /path/to/older/gcc 30
sudo update-alternatives --config gcc