Kerberos password change CGI for OpenBSD