Fixup: allow solver's preferences (bgo#733930)