--- texk/web2c/pdftexdir/pdftoepdf.cc
+++ texk/web2c/pdftexdir/pdftoepdf.cc	2012-04-13 16:56:57.780022236 +0200
@@ -30,6 +29,10 @@ with this program.  If not, see <http://
 #include <string.h>
 #include <ctype.h>
 
+extern "C" {
+#include <config.h>
+}
+
 #ifdef POPPLER_VERSION
 #include <dirent.h>
 #include <poppler-config.h>
--- texk/web2c/pdftexdir/pdftosrc.cc
+++ texk/web2c/pdftexdir/pdftosrc.cc	2012-04-13 16:59:10.136510522 +0200
@@ -23,6 +23,10 @@ with this program.  If not, see <http://
 #include <string.h>
 #include <ctype.h>
 
+extern "C" {
+#include <config.h>
+}
+
 #ifdef POPPLER_VERSION
 #define GString GooString
 #define xpdfVersion POPPLER_VERSION