Re: [crux-devel] CRUX sources