exit() is too violent in MPI mode

When exit() is called in an MPI context, the code does not exit with MPI in a good state. Some care must be taken to stop MPI properly.