Code

sha1_file: avoid bogus "file exists" error message