BTW, I have checked, and all files infected were .exe files - which means that this is the real thing…