Re: [Clc-crux64] compat32 and contrib ports