Fix isl++ build