RE: [Clc-crux64] CRUX x86_64 package confusion