Re: [mpiwg-tools] ticket 405: MPI_CHAR as string