dpttrf(3) on Linux

The text 66809b1b80ec, as Debian 10 (Buster) shipped it.

dpttrf(3) on Linux now