From d1b0abba6c41215dcb84a819319e3ad0a762abdf Mon Sep 17 00:00:00 2001
From: Dan Guido <dan@trailofbits.com>
Date: Thu, 27 Apr 2017 15:37:20 -0400
Subject: [PATCH] try removing sudo

---
 scripts/travis_install_z3.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/travis_install_z3.sh b/scripts/travis_install_z3.sh
index ee06daf..f4fb92e 100755
--- a/scripts/travis_install_z3.sh
+++ b/scripts/travis_install_z3.sh
@@ -7,5 +7,5 @@ mkdir z3
 pushd z3
 wget https://s3.amazonaws.com/manticore-z3/${Z3_VERSION}.zip -O z3.zip
 unzip z3.zip
-sudo cp -v ${Z3_VERSION}/bin/z3 /usr/bin/z3
+export PATH=$PATH:$PWD/${Z3_VERSION}/bin/
 popd