The text 405593e51a42, as Debian 7 (Wheezy) shipped it.
obtain and set widget resources
XtVaSetValues(3) on Linux now
