/cvc4-*.tar.gz