update isl for change in isl_map_gist