update isl for isl_stream_get_ctx