diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index cfbdda2..328140b 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -36,10 +36,10 @@ run() {
   travis_fold start build_stormpy
   case "$CONFIG" in
   Debug*)
-    python setup.py build_ext --debug -j 1 develop
+    python setup.py build_ext --storm-dir /opt/storm/build/ --debug -j 1 develop
     ;;
   *)
-    python setup.py build_ext -j 1 develop
+    python setup.py build_ext --storm-dir /opt/storm/build/ -j 1 develop
     ;;
   esac
   travis_fold end build_stormpy