The text 3a1f1641b54c, as Debian 8 (Jessie) shipped it.
Set any command-line option
plsetopt(3plplot) on Linux now
