Re: [mpiwg-abi] MPI ABI - thanks