Hi Marc! How do you disable the console file while retaining a maximum level of debug symbols? Thanks! -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20150617/a7497c30/attachment.htm>