Fix a problem with the mpi dbg package