diff --git a/kernel/bench.c b/kernel/bench.c
index e83858d..63d7e16 100644
--- a/kernel/bench.c
+++ b/kernel/bench.c
@@ -276,5 +276,6 @@ extern int main(int argc, const char * const argv[]);
 
 int bench_cluster_forward(int cid)
 {
-  return bench_cluster_exec(cid, main);
+  return 0;
+  //  return bench_cluster_exec(cid, main);
 }
diff --git a/lib/libc/minimal/io.c b/lib/libc/minimal/io.c
index 6754a46..fe78620 100644
--- a/lib/libc/minimal/io.c
+++ b/lib/libc/minimal/io.c
@@ -223,7 +223,8 @@ char *strchr(const char *s, int c)
 
 static void pos_libc_putc_stdout(char c)
 {
-    *(volatile uint32_t *)(long)(ARCHI_STDOUT_ADDR + STDOUT_PUTC_OFFSET + (hal_core_id()<<3) + (hal_cluster_id()<<7)) = c;
+  //    *(volatile uint32_t *)(long)(ARCHI_STDOUT_ADDR + STDOUT_PUTC_OFFSET + (hal_core_id()<<3) + (hal_cluster_id()<<7)) = c;
+    *(volatile uint32_t *)(long)(ARCHI_STDOUT_ADDR + STDOUT_PUTC_OFFSET) = c;
 }