dpttrf(3) on Linux

The text b153fff39f44, as Debian 7 (Wheezy) shipped it.

dpttrf(3) on Linux now