diff --git a/zipl/boot/stage3.h b/zipl/boot/stage3.h
index a7f20131..17d3a263 100644
--- a/zipl/boot/stage3.h
+++ b/zipl/boot/stage3.h
@@ -12,8 +12,6 @@
 #ifndef STAGE3_H
 #define STAGE3_H
 
-#include "libc.h"
-
 #include "boot/s390.h"
 #include "boot/ipl.h"
 #include "boot/linux_layout.h"