Dear Dr. Plietzsch, this recent F-Secure issue is known to us and likely a false alarm since no other virus scanner detects a problem. We already tested all Windows machines which are involved in the compilation process. Probably we should inform F-Secure about their scan issue. Kind regards, Markus Neteler