I have a question about the security of the file provided in the link at the beginning of this post, and is that after downloading the file and uploading it to virustotal.com there are five detections of malware, likewise as far as I know the sha256sum does not correspond the one provided by the same page, could someone confirm the latter, as well as ensure the reliability of the file?