The text 5f4abb6078a5, as Debian 10 (Buster) shipped it.
Terminates MPI execution environment
MPI_Abort(3) on Linux now
