Re: [Mpi3-tools] alternative signal handler text