print the SHA256 of the files to stderr