Re: [Mpi-forum] MPI_INFO_GET_ENV naming question