1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/build/p-klee-linux-ubuntu-16.04.inc b/scripts/build/p-klee-linux-ubuntu-16.04.inc
index 40582be5..5350b633 100644
--- a/scripts/build/p-klee-linux-ubuntu-16.04.inc
+++ b/scripts/build/p-klee-linux-ubuntu-16.04.inc
@@ -10,6 +10,7 @@ install_build_dependencies_klee() {
     python-wheel #for lit
     zlib1g-dev
     python3
+    python3-setuptools
     python3-pip
   )
 
@@ -20,5 +21,5 @@ install_build_dependencies_klee() {
   apt -y --no-install-recommends install "${dependencies[@]}"
 
   pip install lit
-  pip3 install tabulate --user
-}
\ No newline at end of file
+  pip3 install tabulate
+}