fixes for windows; support gurobi 5.6