5 files changed, 5 insertions, 5 deletions
diff --git a/src/hci/mucurses/ansi_screen.c b/src/hci/mucurses/ansi_screen.c
index 51fc7c90..cc342f7c 100644
--- a/src/hci/mucurses/ansi_screen.c
+++ b/src/hci/mucurses/ansi_screen.c
@@ -1,6 +1,6 @@
 #include <stdio.h>
 #include <curses.h>
-#include <console.h>
+#include <ipxe/console.h>
 
 FILE_LICENCE ( GPL2_OR_LATER );
 
diff --git a/src/hci/mucurses/mucurses.c b/src/hci/mucurses/mucurses.c
index 087ebcc3..7c162021 100644
--- a/src/hci/mucurses/mucurses.c
+++ b/src/hci/mucurses/mucurses.c
@@ -1,4 +1,4 @@
-#include <console.h>
+#include <ipxe/console.h>
 #include <curses.h>
 #include "mucurses.h"
 
diff --git a/src/hci/readline.c b/src/hci/readline.c
index 6a7af9db..e76d2d09 100644
--- a/src/hci/readline.c
+++ b/src/hci/readline.c
@@ -21,7 +21,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
 #include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
-#include <console.h>
+#include <ipxe/console.h>
 #include <ipxe/keys.h>
 #include <ipxe/editstring.h>
 #include <readline/readline.h>
diff --git a/src/hci/tui/login_ui.c b/src/hci/tui/login_ui.c
index 954bde50..04aabfa8 100644
--- a/src/hci/tui/login_ui.c
+++ b/src/hci/tui/login_ui.c
@@ -27,7 +27,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
 #include <string.h>
 #include <errno.h>
 #include <curses.h>
-#include <console.h>
+#include <ipxe/console.h>
 #include <ipxe/settings.h>
 #include <ipxe/editbox.h>
 #include <ipxe/keys.h>
diff --git a/src/hci/tui/settings_ui.c b/src/hci/tui/settings_ui.c
index 176fbd3e..ff2f9af1 100644
--- a/src/hci/tui/settings_ui.c
+++ b/src/hci/tui/settings_ui.c
@@ -23,7 +23,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
 #include <unistd.h>
 #include <string.h>
 #include <curses.h>
-#include <console.h>
+#include <ipxe/console.h>
 #include <ipxe/settings.h>
 #include <ipxe/editbox.h>
 #include <ipxe/keys.h>