new cvc4-nightly RPM