no more LintWorm, everything is MsfLint now