diff --git a/lib/aos/init.c b/lib/aos/init.c
index 88b3206..fe6b17a 100644
--- a/lib/aos/init.c
+++ b/lib/aos/init.c
@@ -25,7 +25,6 @@
 #include <aos/paging.h>
 #include <aos/systime.h>
 #include <barrelfish_kpi/domain_params.h>
-#include <mm/mm.h>
 
 #include "threads_priv.h"
 #include "init.h"
diff --git a/lib/spawn/rpc_server.c b/lib/spawn/rpc_server.c
index 2a7b1e2..b754848 100644
--- a/lib/spawn/rpc_server.c
+++ b/lib/spawn/rpc_server.c
@@ -130,10 +130,6 @@ static errval_t handle_rpc_get_ram_cap(
     if (err_is_fail(err)) return err;
     *ret0 = bytes;
 
-    char buf[256];
-    debug_print_cap_at_capref(buf, 256, *ret_cap);
-    debug_printf("cap allocated by memserver: %s\n", buf);
-
     grading_rpc_handler_ram_cap(bytes, alignment);
 
     return SYS_ERR_OK;
diff --git a/usr/memeater/main.c b/usr/memeater/main.c
index abbe910..1988fe5 100644
--- a/usr/memeater/main.c
+++ b/usr/memeater/main.c
@@ -51,10 +51,6 @@ static errval_t request_and_map_memory(void)
         return err;
     }
 
-    char buf[256];
-    debug_print_cap_at_capref(buf, 256, cap1);
-    debug_printf("cap from rpc: %s\n", buf);
-
     struct capref cap1_frame;
     err = slot_alloc(&cap1_frame);
     assert(err_is_ok(err));