...
--enable-mcsat for main cvc4 binary