gcc のバージョンを簡単に選択できるツールってないんですか？
Gentoo における gcc-config みたいなの。他のマシンから
distcc を受けつけたいんですが、Ubuntu の gcc バージョンが
高すぎで、他と合いません。