Achim, All versions of gcc in the distro have been bumped to GCC 5, meaning that nothing depends on cloog-isl anymore. Do you plan on rebuilding the latter for the latest isl, or should it just be removed? -- Yaakov