The text 73c61d8e0c50, as Debian 10 (Buster) shipped it.
Set the error handler for a communicator
MPI_Comm_set_errhandler(3) on Linux now