[mpich-discuss] Calling MPI_Finalize or not