dpptrf.f(3) on Linux

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

dpptrf.f(3) on Linux now