Enhance dummympi a bit.
Enhance the dummy MPI implementation a little bit.