Re: [Mpi-comments] Missing definition of MPI_INTEGER_KIND