realGBsolve(3) on Linux

The text 1a3026c8ccaf, as Debian 10 (Buster) shipped it.

realGBsolve(3) on Linux now