<div dir="ltr">Hi Paul,<div>Do you have multiple versions of GCC installed? You might need to use "update-alternatives" to manage them. I haven't done so with Debian, but this page seems to have a pretty good explanation: <a href="http://lektiondestages.blogspot.com/2013/05/installing-and-switching-gccg-versions.html" target="_blank">http://lektiondestages.blogspot.com/2013/05/installing-and-switching-gccg-versions.html</a></div><div><br></div><div class="gmail_extra">-- <br><div>David Hendricks (dhendrix)<br>Systems Software Engineer, Google Inc.</div>
</div></div>