To further verify that the Avast File Shield scan was giving a False Positive for these 5 bus.mdl files I just tested one of them with Virus Total and none of the 46 virus checkers used detected any problem.