DUNE Network: use 64-bit variants on Linux writeFile().