The text 47d8fc3c4d8f, as Debian 7 (Wheezy) shipped it.
Sets current color
PS_setcolor(3) on Linux now