Please note that the file name they use in the example is NOT THE ONE YOU'LL SEE. Virutomondo randomly generates a file name and you have to look through your HiJackthis logs to find the name. Once you have that you can follow the instructions as posted in the link above.