doubleGBsolve(3) on Linux

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

doubleGBsolve(3) on Linux now