Updating: minor improving contrib/gurobi
finished merge