Re: [mpiwg-tools] Proposal: MPI_SIZEOF not profiled