I understand but Avast reported “maybe it is a false positive” and I was confused about the news from the last couple of days. In the mean time: problem solved.
thanks anyway