To remediate Windows Vista, Windows 2008 Server or Windows XP Service Pack 3–what other software would the remediation server need to run?