diff --git a/c/src/libchip/network/i82586.c b/c/src/libchip/network/i82586.c
index d37855b496..c06ed5f263 100644
--- a/c/src/libchip/network/i82586.c
+++ b/c/src/libchip/network/i82586.c
@@ -155,6 +155,7 @@ Mode of operation:
 #include <stdio.h>
 #include <string.h>
 #include <errno.h>
+#include <inttypes.h>
 
 #include <sys/param.h>
 #include <sys/mbuf.h>
diff --git a/cpukit/libnetworking/netinet/ip_fw.c b/cpukit/libnetworking/netinet/ip_fw.c
index 89eff2a5c4..5c6be50e96 100644
--- a/cpukit/libnetworking/netinet/ip_fw.c
+++ b/cpukit/libnetworking/netinet/ip_fw.c
@@ -48,6 +48,7 @@
 #include <netinet/tcp_var.h>
 #include <netinet/tcpip.h>
 #include <netinet/udp.h>
+#include <inttypes.h>
 
 static int fw_debug = 1;
 #ifdef IPFIREWALL_VERBOSE
diff --git a/cpukit/libnetworking/netinet/ip_input.c b/cpukit/libnetworking/netinet/ip_input.c
index a898bde2e2..65eaa07250 100644
--- a/cpukit/libnetworking/netinet/ip_input.c
+++ b/cpukit/libnetworking/netinet/ip_input.c
@@ -39,6 +39,7 @@
 #include "opt_ipfw.h"
 
 #include <stddef.h>
+#include <inttypes.h>
 
 #include <sys/param.h>
 #include <sys/systm.h>