Fixing the remaining solver.cpp checks for conf.doSQL