Re: [mpich-discuss] [EXTERNAL] Re: Calling MPI_Finalize or not