ignore cvc4 binaries