The text 5809b3e447e0, as Debian 10 (Buster) shipped it.
Set window error handler
MPI_Win_set_errhandler(3) on Linux now
