diff --git a/debug.h b/debug.h
index e02de376..51c38be8 100644
--- a/debug.h
+++ b/debug.h
@@ -5,6 +5,7 @@
 
 void ish_printk(const char *msg, ...);
 void ish_vprintk(const char *msg, va_list args);
+#undef printk
 #define printk ish_printk
 
 // debug output utilities
@@ -84,4 +85,4 @@ _Noreturn void die(const char *msg, ...);
 #define debugger raise(SIGTRAP)
 #endif
 
-#endif
+#endif
\ No newline at end of file