[Clc-crux64] CRUX x86_64 package confusion