A number of signatures in core/mpi/MPIWrapper.h
were not compliant with the MPI standard (see here and here) in the sense that they had int *
arguments that were not const
-qualified, contrary to the API defined in the standard. This turned up when we const-qualified some APIs of MpiManager
in !707 (merged) .