the pre-built krb5-1.10-VC11-* external was actually built with VC10 and should be renamed
I (tj) am delaying the rename for a few weeks until 8.2.0 is out the door so that work branches
that depend on this external will still build.