Re: gcc problems affecting ciao code