2 Tage nachdem ich diese Frage gestellt hatte, gab gmod bekannt, dass einige der neuesten Update-Dateien als Virus markiert sein könnten.
Gestern führte Bitdefender ein Virendefinitionsupdate (Version 7.63851
) durch. Natürlich wurde der Fehlalarm behoben.