Index: tools/Makefile.in
===================================================================
--- tools/Makefile.in	(revision c6f1f3ebf65fd583f3f052ae0aed817e4ce7f4fc)
+++ tools/Makefile.in	(revision fce01e7581215ee3d0d6c5bd640ec7723cde2f04)
@@ -225,4 +225,5 @@
 CYGPATH_W = @CYGPATH_W@
 DEFS = @DEFS@
+DEMANGLER = @DEMANGLER@
 DEPDIR = @DEPDIR@
 DLLTOOL = @DLLTOOL@
@@ -250,4 +251,5 @@
 LIBCFA_TARGET_DIRS = @LIBCFA_TARGET_DIRS@
 LIBCFA_TARGET_MAKEFILES = @LIBCFA_TARGET_MAKEFILES@
+LIBDEMANGLE = @LIBDEMANGLE@
 LIBOBJS = @LIBOBJS@
 LIBS = @LIBS@
Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision c6f1f3ebf65fd583f3f052ae0aed817e4ce7f4fc)
+++ tools/prettyprinter/Makefile.in	(revision fce01e7581215ee3d0d6c5bd640ec7723cde2f04)
@@ -254,4 +254,5 @@
 CYGPATH_W = @CYGPATH_W@
 DEFS = @DEFS@
+DEMANGLER = @DEMANGLER@
 DEPDIR = @DEPDIR@
 DLLTOOL = @DLLTOOL@
@@ -279,4 +280,5 @@
 LIBCFA_TARGET_DIRS = @LIBCFA_TARGET_DIRS@
 LIBCFA_TARGET_MAKEFILES = @LIBCFA_TARGET_MAKEFILES@
+LIBDEMANGLE = @LIBDEMANGLE@
 LIBOBJS = @LIBOBJS@
 LIBS = @LIBS@