Jan Ole,

If you get such a report you can upload the file to https://www.virustotal.com/gui/home/upload to see if it is reported by many virus checkers as a problem or not. If not contact your anti-virus software manufacturer for a test and request a repair update.