mixed_solver(4rheolef) on Linux

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

mixed_solver(4rheolef) on Linux now