SQL for sub-solvers has to be disabled

A better solution would be nice, but for the moment, to avoid segfault,
we have to disable it