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