Updating: minorly improving contrib/gurobi