The text e0478bce6ed5, as Debian 7 (Wheezy) shipped it.
initialize a widget class
XtInitializeWidgetClass(3) on Linux now
