How to verify the SHA256 checksum of a downloaded file