No se como es avast pero supongo que puedes excluir el archivo (si estas totalmente seguro que no es un archivo infectado) por otra parte imagino podrías hacer un chechsum al archivo y comprarlo con otro original, así verificas que no este infectado.