diff --git a/src/main/java/de/prob2/jupyter/Main.java b/src/main/java/de/prob2/jupyter/Main.java
index 62b561f9c38e5bc02389b938658ef88ab0363083..d5fee3bf9810d75c8e0348bccfebf5d195b2ef49 100644
--- a/src/main/java/de/prob2/jupyter/Main.java
+++ b/src/main/java/de/prob2/jupyter/Main.java
@@ -215,7 +215,6 @@ public final class Main {
 		final String contents = String.join("\n", Files.readAllLines(connectionFile, StandardCharsets.UTF_8));
 		final JupyterConnection conn = new JupyterConnection(KernelConnectionProperties.parse(contents));
 		
-		System.setProperty("prob.stdlib", Paths.get(de.prob.Main.getProBDirectory(), "stdlib").toString());
 		final Injector injector = Guice.createInjector(Stage.PRODUCTION, new ProBKernelModule());
 		final ProBKernel kernel = injector.getInstance(ProBKernel.class);
 		kernel.becomeHandlerForConnection(conn);