Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision 7c682dd18cb1e1cac93f7e180e1fc41df32f824c)
@@ -42,5 +42,5 @@
 #include <arch/asm.h>
 #include <arch/drivers/kbd.h>
-#include <string.h>
+#include <str.h>
 #include <arch.h>