-- improve configure/Makefile, working on glpk interface