Turned out to be nothing more a conflict with the .bash_aliases file and failing to restart bash. Apologies for the noise. On Tue, Mar 5, 2013 at 2:56 PM, Paul Smith <paul@xxxxxxxxxxxxxxxxx> wrote: > On Tue, 2013-03-05 at 14:47 -0500, Daniel B Mosesson wrote: >> So how can I get the newer version from sources (i.e. what is the svn >> link)? > > Everything you need is available from the website: > > http://gcc.gnu.org/ > > In particular look on the right menu for "Snapshots". >