É provável que alguns antivirus não detectem o ficheiro com extensão ".txt" porque não estão, certamente, configurados para analisar ficheiros com essa extensão. Experimentem configurar o antivirus (scan shield + scan on demand) para analisar todos os ficheiros. Ou então gravem o ficheiro com a extensão ".com" através da opção "gravar como..."
Digo-vos isto porque a primeira vez que fiz o teste com o Avira Antivir Free, este não detectou o virus ao gravar o ficheiro em txt, nem mesmo ao fazer o scan, o que eu estranhei pelo facto dos entendidos o considerarem o melhor antivirus gratuito actualmente disponivel. O problema éra o facto do antivirus estar configurado para analisar apenas ficheiros com extensões especificas, onde não estava especificada a extensão ".txt".