diff --git a/prism/src/bin/prism.bat b/prism/src/bin/prism.bat
index 184c73d0..8b637597 100755
--- a/prism/src/bin/prism.bat
+++ b/prism/src/bin/prism.bat
@@ -19,4 +19,4 @@ rem  - lib/pepa.zip (PEPA stuff)
 set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip
 
 rem Run PRISM through Java
-java -classpath %CP% prism.PrismCL %*
+java -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% prism.PrismCL %*
diff --git a/prism/src/bin/xprism.bat b/prism/src/bin/xprism.bat
index 07a03510..082e8ef1 100755
--- a/prism/src/bin/xprism.bat
+++ b/prism/src/bin/xprism.bat
@@ -19,6 +19,5 @@ rem  - lib/pepa.zip (PEPA stuff)
 set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip
 
 rem Run PRISM through Java
-rem start javaw -classpath %CP% userinterface/GUIPrism %*
-java -classpath %CP% userinterface/GUIPrism %*
-
+rem start javaw -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %*
+java -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %*