The text d71b6eb20317, as Debian 13 (Trixie), Debian 11 (Bullseye) shipped it.
Delete attribue
MPI_Type_delete_attr(3) on Linux now
