solveGE(3) on Linux

The text 2e04ee572de2, as Debian 10 (Buster) shipped it.

solveGE(3) on Linux now