--- texk/web2c/Makefile.in.orig	2018-07-23 11:03:30.763277046 +0200
+++ texk/web2c/Makefile.in	2018-07-23 11:04:53.940224054 +0200
@@ -1762,6 +1762,7 @@
 MANS = $(dist_man_MANS) $(nodist_man_MANS)
 DATA = $(pkgconfig_DATA)
 am__syncinclude_HEADERS_DIST = synctexdir/synctex_parser.h \
+	synctexdir/synctex_version.h \
 	synctexdir/synctex_parser_utils.h
 HEADERS = $(syncinclude_HEADERS)
 RECURSIVE_CLEAN_TARGETS = mostlyclean-recursive clean-recursive	\
@@ -4021,6 +4022,7 @@
 pkgconfigdir = ${libdir}/pkgconfig
 @SYNCTEX_TRUE@syncinclude_HEADERS = \
 @SYNCTEX_TRUE@	synctexdir/synctex_parser.h \
+@SYNCTEX_TRUE@	synctexdir/synctex_version.h \
 @SYNCTEX_TRUE@	synctexdir/synctex_parser_utils.h
 
 @SYNCTEX_TRUE@pkgconfig_DATA = synctexdir/synctex.pc