solver_abtb(2rheolef) on Linux

The text 67dbe228a741, as Debian 8 (Jessie) shipped it.

solver_abtb(2rheolef) on Linux now