A file named fixer_final.exe dropped into his Downloads folder.
But even then, follow :
You stumbled too hard, guys.