added gurobi to the export flags