update isl for change in isl_set_read_from_file