The text c7ce4c8657a3, as Debian 8 (Jessie) shipped it.
Sets the file size
MPI_File_set_size(3) on Linux now
