It doesn’t matter what the extension of a file is. Malware can use any extension.
Check the avast log file(s) to see what avast did with it.
