I used vundofix 6.5.7 and did what it said, ran it, removed the files, and rebooted.