Re: [Ciao-users] Ciao compilation errors