fixes for GLPK builds