Hello,<div><br></div><div>I checked that the version of GCC in the machine is way too old.</div><div>GCC&#39;s website tells that GCC 4.4.6 is the oldest maintained release series.</div><div><br></div><div>So maybe it&#39;s better to don&#39;t invest any time in &quot;fixing&quot; anything.</div>

<div>I have a possibility to migrate to a newer server at Webfaction with newer GCC.</div><div><br></div><div>Thanks,</div><div><br><div>Rodolfo Carvalho<br>
<br><br><div class="gmail_quote">On Fri, Aug 12, 2011 at 12:15, Rodolfo Carvalho <span dir="ltr">&lt;<a href="mailto:rhcarvalho@gmail.com">rhcarvalho@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div class="gmail_quote"><div class="im">On Fri, Aug 12, 2011 at 11:06, Matthew Flatt <span dir="ltr">&lt;<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">


We&#39;ve made some repairs in that area since 5.1.2, but I don&#39;t know if<br>
we&#39;ve solved the problem that you&#39;re seeing. Which version of gcc are<br>
you using?<br>
<div><div></div><br></div></blockquote></div><div><br>$ gcc --version<br>gcc (GCC) 4.1.2 20080704 (Red Hat 4.1.2-50)<br> </div></div>
</blockquote></div><br></div></div>