ui-lib conversion -> krb5/index.cgi