Modify the function Files.write(...)