Do we need some sort of MPI termination before quitting?