From 7e46db52169ee1123728499d66b11184d7b9c39e Mon Sep 17 00:00:00 2001
From: Dan Guido <dan@trailofbits.com>
Date: Thu, 27 Apr 2017 15:48:28 -0400
Subject: [PATCH] oops

---
 .travis.yml                  | 2 +-
 scripts/travis_install_z3.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 5d800e8..bea74e7 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,7 +10,7 @@ cache:
   - $HOME/virtualenv/python2.7.12/bin/
   - $HOME/unicorn
 dist: trusty
-sudo: false
+sudo: required
 os:
 - linux
 python:
diff --git a/scripts/travis_install_z3.sh b/scripts/travis_install_z3.sh
index f4fb92e..ee06daf 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
-export PATH=$PATH:$PWD/${Z3_VERSION}/bin/
+sudo cp -v ${Z3_VERSION}/bin/z3 /usr/bin/z3
 popd