The text 9ea6c0425ef8, as Debian 12 (Bookworm) shipped it.
Deletes a file.
MPI_File_delete.openmpi(3) on Linux now
