Make "write_sha1_file()" exit early if the file already exists.