The Avast virus checker generates a false positive when checking the model libraries for viruses. 54 other virus checkers do not, leading us to believe the Avast issue is a false positive.