fixes for GLPK building