Re: [mpich-discuss] Calling MPI_Finalize or not