Index: benchmark/Makefile.in
===================================================================
--- benchmark/Makefile.in	(revision 0d92e5c9f8a21c6e4fcc64a40b59c727c60f5934)
+++ benchmark/Makefile.in	(revision bbfd0e08bed66db0dd7f0435baca11031a2d4e96)
@@ -231,4 +231,5 @@
 CYGPATH_W = @CYGPATH_W@
 DEFS = @DEFS@
+DEMANGLER = @DEMANGLER@
 DEPDIR = @DEPDIR@
 DLLTOOL = @DLLTOOL@
@@ -256,4 +257,5 @@
 LIBCFA_TARGET_DIRS = @LIBCFA_TARGET_DIRS@
 LIBCFA_TARGET_MAKEFILES = @LIBCFA_TARGET_MAKEFILES@
+LIBDEMANGLE = @LIBDEMANGLE@
 LIBOBJS = @LIBOBJS@
 LIBS = @LIBS@