Re: [crux-devel] Precompiled headers and distributed compilation