Hello,<div><br></div><div>I checked that the version of GCC in the machine is way too old.</div><div>GCC's website tells that GCC 4.4.6 is the oldest maintained release series.</div><div><br></div><div>So maybe it's better to don't invest any time in "fixing" 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"><<a href="mailto:rhcarvalho@gmail.com">rhcarvalho@gmail.com</a>></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"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></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've made some repairs in that area since 5.1.2, but I don't know if<br> we've solved the problem that you'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>