mirror of COIN-OR autotools for MUMPS