https://www.virustotal.com/gui/file/80dfeba0f758f33b322278a9b39ef9263b0a8d797e5e...
seems to be safe.
