Index: tools/Makefile.in
===================================================================
--- tools/Makefile.in	(revision c6f1f3ebf65fd583f3f052ae0aed817e4ce7f4fc)
+++ tools/Makefile.in	(revision 33c849e53f1df1d165d09fdc8bac3b72aaec9aa0)
@@ -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 33c849e53f1df1d165d09fdc8bac3b72aaec9aa0)
@@ -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@