The text d51f6e52c3f1, as Debian 10 (Buster) shipped it.
Set seed for internal random number generator.
plseed(3plplot) on Linux now
