Re: [Clc-crux64] gcc 4.1 ?