diff --git a/scripts/theta-start.sh b/scripts/theta-start.sh
index c0c9df0812..9884ea6ef8 100755
--- a/scripts/theta-start.sh
+++ b/scripts/theta-start.sh
@@ -2,6 +2,7 @@
 if [ $1 == "--version" ]; then
     echo "3.0.0-svcomp22-qr"
 else
-    echo java -Xss120m -Xmx14210m -jar theta.jar "${@:2}" --input $1
-    java -Xss120m -Xmx14210m -jar theta.jar "${@:2}" --input $1
+    scriptdir=$(dirname $(realpath "$0"))
+    echo LD_LIBRARY_PATH=$scriptdir/lib java -Xss120m -Xmx14210m -jar $scriptdir/theta.jar "${@:2}" --input $1 --smt-home $scriptdir/solvers
+    LD_LIBRARY_PATH=$scriptdir/lib java -Xss120m -Xmx14210m -jar $scriptdir/theta.jar "${@:2}" --input $1 --smt-home $scriptdir/solvers
 fi