mirror of COIN-OR autotools for GLPK