Index: driver/Makefile.in
===================================================================
--- driver/Makefile.in	(revision 2026bb680ed5d5d8295cce3291a89b31b8ec7de2)
+++ driver/Makefile.in	(revision df8b87cd9365d6524523f96a72d7c7b83f13b735)
@@ -218,4 +218,5 @@
 CYGPATH_W = @CYGPATH_W@
 DEFS = @DEFS@
+DEMANGLER = @DEMANGLER@
 DEPDIR = @DEPDIR@
 DLLTOOL = @DLLTOOL@
@@ -243,4 +244,5 @@
 LIBCFA_TARGET_DIRS = @LIBCFA_TARGET_DIRS@
 LIBCFA_TARGET_MAKEFILES = @LIBCFA_TARGET_MAKEFILES@
+LIBDEMANGLE = @LIBDEMANGLE@
 LIBOBJS = @LIBOBJS@
 LIBS = @LIBS@