realPTsolve(3) on Linux

The text ca5552eee2cc, as Debian 11 (Bullseye) shipped it.

real

realPTsolve(3) on Linux now