Re: [clc-devel] Crux on AMD64