--- ./configure
+++ ./configure
@@ -301,6 +301,8 @@
 fi
 if test "$__kernel_timespec" != "yes"; then
 cat >> $compat_h << EOF
+#include <inttypes.h>
+
 struct __kernel_timespec {
 	int64_t		tv_sec;
 	long long	tv_nsec;
