diff --git a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
index bc1f0257739b9550dfc50a5eddcb199299bc9f71..8ca1837b69f01faab5525dc636d64c218be085a2 100644
--- a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
@@ -26,7 +26,6 @@ class PureScalaVerificationRegression extends VerificationRegression {
     val isCVC4Available = try {
       new CVC4Interpreter()
       true
-      // @EK: CVC4 works on most testcases already, but not all and thus cannot be used in regression.
     } catch {
       case e: java.io.IOException =>
         false
diff --git a/travis/fetchCVC4.sh b/travis/fetchCVC4.sh
index 44d5baf740be36f90a9cc3e0978e5894d6af33a5..e18b54867c14cec61f11e5ae0f1a44edc131418b 100755
--- a/travis/fetchCVC4.sh
+++ b/travis/fetchCVC4.sh
@@ -2,4 +2,7 @@ d=`date +%Y-%m-%d --date="2 days ago"`
 dir=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
 mkdir -p $dir/builds
 curl http://cvc4.cs.nyu.edu/builds/x86_64-linux-opt/unstable/cvc4-$d-x86_64-linux-opt -o $dir/builds/cvc4
+
+chmod u+x $dir/builds/cvc4
+
 export PATH=$dir/builds/:$PATH