bugs due to lazy loading on glpk and different results than gurobi fixed