Fix Git_unix.IO.write_file for empty files