diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index 35fe57582753fbe771b0db5b8ddd6f97371136dd..a7b42f144bb3664b939541a2f7e63c3f7b9ac092 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -139,11 +139,11 @@ public final class CliStarter {
 			throws CliException {
 		if (os.equals(Platform.OS_MACOSX)) {
 			return new OsSpecificInfo("macos", "probcli.sh", "sh",
-					"send_user_interrupt");
+					"lib/send_user_interrupt");
 		}
 		if (os.equals(Platform.OS_WIN32)) {
 			return new OsSpecificInfo("windows", "probcli.exe", null,
-					"send_user_interrupt.exe");
+					"lib\\send_user_interrupt.exe");
 		}
 
 		if (os.equals(Platform.OS_LINUX)) {
@@ -152,7 +152,7 @@ public final class CliStarter {
 				linux = "linux64";
 			}
 			return new OsSpecificInfo(linux, "probcli.sh", "sh",
-					"send_user_interrupt");
+					"lib/send_user_interrupt");
 		}
 		final CliException cliException = new CliException(
 				"ProB does not support the plattform: " + os);