This is the website I was mentioning to scan for viruses in files: https://www.virustotal.com/gui/home/upload 

Fun fact: I remember first hearing of it after they unintentionally leaked thousands of private addresses from US security officials (which got me into trusting them, kind of paradoxical).

Best,

Pierre