I went ahead and told AVG to ignore the file and then I did a hard drive search for nasnavi.exe and found only one copy in the correct location which makes me feel more confident that a virus with the same name has not been installed. Just to be sure, I re-installed NASNAVI which hopefully overwrites the questionable file.