stpmqrt(3) on Linux

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

real

stpmqrt(3) on Linux now