dpftri(3) on Linux

The text 5b51c35bedb5, as Debian 8 (Jessie) shipped it.

dpftri(3) on Linux now