Hi<br>
<div class="gmail_quote">      the &quot;config.log&quot; file that resulted from running<br>&quot;CFLAGS=+DD64 ./configure&quot; for Guile<span class="HOEnZb"><font color="#888888"> .</font></span></div>
<div class="gmail_quote"><span class="HOEnZb"></span> </div>
<div class="gmail_quote"><span class="HOEnZb"><font color="#888888">xdd</font></span></div>