Possible bug fix for http://www.openwall.com/lists/john-dev/2013/05/27/20,
thanks to Claudio.
MPI: More consistent exit handling.