Workaround coinoir-libipopt1 bug with mumps