Hello all,

the false positive has been fixed. It will come into effect in the next virus database update.

Sorry for the inconvenience.