The text 88cc0ceca9a1, as Debian 8 (Jessie) shipped it.
Set length of minor ticks
plsmin(3plplot) on Linux now
