diff --git a/libvo/sub.h b/libvo/sub.h
index ba54046fdb..f74ed902c9 100644
--- a/libvo/sub.h
+++ b/libvo/sub.h
@@ -125,6 +125,7 @@ extern int vo_osd_changed_flag;
 unsigned utf8_get_char(char **str);
 
 #ifdef USE_DVDNAV
+#include <inttypes.h>
 void osd_set_nav_box (uint16_t sx, uint16_t sy, uint16_t ex, uint16_t ey);
 #endif