Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision 8023571f81bf7a87989e87a43bc8f901ed55329a)
@@ -42,5 +42,5 @@
 #include <arch/asm.h>
 #include <arch/drivers/kbd.h>
-#include <string.h>
+#include <str.h>
 #include <arch.h>
 
Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ kernel/arch/ia64/src/ia64.c	(revision 8023571f81bf7a87989e87a43bc8f901ed55329a)
@@ -66,5 +66,5 @@
 #include <print.h>
 #include <sysinfo/sysinfo.h>
-#include <string.h>
+#include <str.h>
 
 /* NS16550 as a COM 1 */