Builds for cvc4

Latest: 1.8-3