The text 426784fe4f73, as Debian 7 (Wheezy) shipped it.
functions to support the WebKDC
WebKDC(3pm) on Linux now
