fixed a bug with changing to 'gurobi' instead of 'gurobi5'