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