Hello all,
the false positive has been fixed. It will come into effect in the next virus database update.
Sorry for the inconvenience.