Fix krb5 external test