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