FWIW, Kaspersky said these files were ID'd as false positives as trojans and that they have fixed the problem.
