The text bc48147af8b6, as Debian 6.0 (Squeeze) shipped it.
functions to support the WebKDC
WebKDC(3pm) on Linux now
