avoid use of isl_ctx internals