Answer:
This is probably a false alarm. Nevertheless, the matter should be investigated because malware can disguise itself as any file.
We recommend having the file checked with this service: https://www.virustotal.com/gui/home/upload
This service, operated by Google, examines the file with over 70 different antivirus programs and malware scanners.