cptsv.f(3) on Linux

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

cptsv.f(3) on Linux now