quick fix

Z3, Mathsat and cvc4 Online mode are working ok