mumps: bump revision for open-mpi