Update src/CoinMP.jl