I scanned with Disinfectant and Agax, both came back negative. Guess those extensions are just retarded.

From what I can tell. Virex 6 requires 7.5.5 or above, so that won't work with 7.1.x, and apparently Virex 5.x sucks.