So you need something to switch between gcc versions (e.g. 3.4 and 4.1). There's not a generally accepted gcc version switcher out there. It seems that gcc-config is Gentoo specific. On Ubuntu there appears to be a package ccontrol which allows one to switch gcc versions and also control use of distcc, ccache etc. There's one catch though - it seems to bomb when I try it. Oh well - just use export CC=/usr/bin/gcc-3.4 instead.