coi leray compilation