Malicious file downloaded with AVG update

Hello Joel,
We regret for the inconvenience caused. The update containing fix was already released however additional steps has to be done to make it work.
Please disable the Realtime Protection and then run the update. Once update is completed you can enable Realtime Protection again and check whether it resolves the issue.
Thank you for your understanding.

mac1core4613gb.bin  AND  #applications#avg antivirusAPP#contents#bakedn#lib#xxBavcore.dylip
The above two files were downloaded during an AVG software update this morning.  It took multiple trips to Block them and download the AVG update.    Ran a complete computer virus scan after the update and AVG detected nothing.   

The first of the two files above was downloaded on my other Mac this morning however, the update completed without interruption and a subsequent of that computer also revealed no virus.

What are these files and why did I get them during an AVG software update???

Hello Joel,
We regret for the inconvenience caused. The update containing fix was already released however additional steps has to be done to make it work.
Please disable the Realtime Protection and then run the update. Once update is completed you can enable Realtime Protection again and check whether it resolves the issue.
Thank you for your understanding.