diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index 4497db5ba..390c71883 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -168,10 +168,12 @@ static void dump_log(void)
 
 static void stop_kermit(void)
 {
-#if 0
 	FILE* file;
 	char isle_path[MAX_PATH];
 
+	fflush(stdout);
+	fflush(stderr);
+
 	snprintf(isle_path, MAX_PATH, "/sys/hermit/isle%d/cpus", isle_nr);
 
 	file = fopen(isle_path, "w");
@@ -183,7 +185,6 @@ static void stop_kermit(void)
 	fprintf(file, "-1");
 
 	fclose(file);
-#endif
 }
 
 /*