Turns out it wasn't the anti-virus software, but a bug in the Diebold's code that failed to commit some votes to memory. One would think this would be the sort of thing found by the public if the code were open-sourced, but then if the code were open-sourced these sorts of things would be found and Diebold's government sponsors wouldn't be able to use it as an excuse for voting anomalies.

Why are there any districts in America still using Diebold voting machines instead of something like OVC's plan?