The text 9eb047e5706c, as Debian 8 (Jessie) shipped it.
Terminates MPI execution environment.
MPI_Abort.openmpi(3) on Linux now
