This won't actually ever get called here, right? Shouldn't we move this to before the MPI_Abort/exit call?