diff --git a/zipl/boot/libc.h b/zipl/boot/libc.h
index 2f6006fd..7c7c549e 100644
--- a/zipl/boot/libc.h
+++ b/zipl/boot/libc.h
@@ -11,6 +11,8 @@
 #ifndef LIBC_H
 #define LIBC_H
 
+#include <stdint.h>
+
 #define NULL ((void *) 0)
 
 #define EPERM		 1	/* Operation not permitted */
@@ -41,11 +43,6 @@
 
 #define MIB	(1024ULL * 1024)
 
-typedef unsigned long long uint64_t;
-typedef unsigned int uint32_t;
-typedef unsigned short uint16_t;
-typedef unsigned char uint8_t;
-
 void printf(const char *, ...);
 void sprintf(char *, const char *, ...);
 void *memcpy(void *, const void *, unsigned long);