"sh", "-c", "cvc4"

for linux