Re: [Clc-crux64] Building Crux from scratch