Fix default solver capitalization

Reverts previous commit, uses defaultXXsolver everywhoere
instead of defaultXXSolver