mpi: minor fixes

6 jobs for !21 with mpi_redux-tree
latest detached
Status Job ID Name Coverage
  Build
canceled #1216163
build

canceled #1216148
build

 
  Deploy
canceled #1216164
check

canceled #1216165
simgrid

canceled #1216149
check

canceled #1216150
simgrid