dpbsvx(3) on Linux

The text 7be36368b1e2, as Debian 10 (Buster) shipped it.

dpbsvx(3) on Linux now