Solvers fixes on Linux.