[clc-devel] Re: [CRUX] #33: contrib/gcc4 port broken