temporarily make isl_val_int_from_isl_int available