diff --git a/configure b/configure
index efb0612dbb..7b05c6bea2 100755
--- a/configure
+++ b/configure
@@ -5206,6 +5206,7 @@ if test "$_dvdnav" = auto ; then
 fi
 if test "$_dvdnav" = auto ; then
   cat > $TMPC <<EOF
+#include <inttypes.h>
 #include <dvdnav.h>
 int main(void) { dvdnav_t *dvd=0; return 0; }
 EOF