mit-kerberos: fix url