Re: [mpich-discuss] [petsc-dev] turning off MPI abort messages