Index: libc/Makefile
===================================================================
--- libc/Makefile	(revision 0b99e40eeedb659621cfcc89612cb0daeafe5db5)
+++ libc/Makefile	(revision 79460ae08ef89a29aa03f465592f472e382429b9)
@@ -32,4 +32,5 @@
 LIBC_PREFIX = .
 SOFTINT_PREFIX = ../softint
+CONSOLE_PREFIX = ../console
 
 ## Setup toolchain
@@ -37,4 +38,6 @@
 
 include $(LIBC_PREFIX)/Makefile.toolchain
+
+CFLAGS += -I$(CONSOLE_PREFIX)
 
 ## Sources
