If it’s an .exe file, an antivirus program won’t find it (probably).
Have to run a full scan and you may be right. But let’s try that before doing a full clean and restore - reinstall.