Don't use DNS lookups when constructing the server principal name. This allows