The problem is already under investigation by the dev team. When I first reported it, I thought that it must be a positive false, because the virus software on my office machine detected it as a trojan, whereas the antivirus on my private computer didn't. Since there were no other reports about that issue in the forum here until yesterday, I didn't care any much further. It seems that most antivirus programs do not classify the file as malware, but some others do.