[mpich-discuss] Should MPI_Abort() call exit or _exit?