write_sha1_file(): do not use a separate sha1[] array