And was subsequently infected with sonic.exe.