[crux-devel] Precompiled headers and distributed compilation