Switched to new GUROBI version