Index: texlive-20180414-source/texk/web2c/synctexdir/synctex_parser.c

===================================================================

--- texlive-20180414-source/texk/web2c/synctexdir/synctex_parser.c

+++ texlive-20180414-source/texk/web2c/synctexdir/synctex_parser.c	2018-10-04 16:02:40.858770330 +0000

@@ -8415,6 +8415,7 @@

     }

     return result;

 }

+#include <stdio.h>

 #if defined(_MSC_VER)

 #include <stdio.h>

 #include <stdlib.h>