The text 413d6534006d, as Debian 7 (Wheezy) shipped it.
Sets the file size
MPI_File_set_size(3) on Linux now
