--- avmedia/source/vlc/wrapper/Types.hxx	2017-01-12 01:54:33.000000000 +0100
+++ avmedia/source/vlc/wrapper/Types.hxx	2017-01-27 20:03:39.243895504 +0100
@@ -15,6 +15,7 @@
 #if defined(_WIN32)
         typedef __int64 libvlc_time_t;
 #else
+#	include <stdint.h>
         typedef int64_t libvlc_time_t;
 #endif
 
