dptsv(3) on Linux

The text 136f39e97fcf, as Debian 9 (Stretch) shipped it.

dptsv(3) on Linux now