The text deda2aaefeb7, as Debian 7 (Wheezy) shipped it.
Set family, style and weight of the current font
plsfont(3plplot) on Linux now
