mirror of COIN-OR autotools for HSL