Index: src/SymTab/Demangle.cc
===================================================================
--- src/SymTab/Demangle.cc	(revision 5e44ac282db453bd749f0c3097ce2115ac32210d)
+++ src/SymTab/Demangle.cc	(revision 90cac45e24b38975ce3d58d0949202c51b9221c3)
@@ -525,5 +525,5 @@
 
 extern "C" {
-	char * cforall_demangle(const char * mangleName) {
+	char * cforall_demangle(const char * mangleName, int option __attribute__((unused))) {
 		const std::string & demangleName = SymTab::Mangler::demangle(mangleName);
 		return strdup(demangleName.c_str());
Index: src/SymTab/Mangler.h
===================================================================
--- src/SymTab/Mangler.h	(revision 5e44ac282db453bd749f0c3097ce2115ac32210d)
+++ src/SymTab/Mangler.h	(revision 90cac45e24b38975ce3d58d0949202c51b9221c3)
@@ -69,5 +69,5 @@
 
 extern "C" {
-	char * cforall_demangle(const char *);
+	char * cforall_demangle(const char *, int);
 }
 
Index: src/SymTab/demangler.cc
===================================================================
--- src/SymTab/demangler.cc	(revision 5e44ac282db453bd749f0c3097ce2115ac32210d)
+++ src/SymTab/demangler.cc	(revision 90cac45e24b38975ce3d58d0949202c51b9221c3)
@@ -5,5 +5,5 @@
 
 void f(const std::string & mangleName) {
-	char * demangleName = cforall_demangle(mangleName.c_str());
+	char * demangleName = cforall_demangle(mangleName.c_str(), 0);
 	cout << mangleName << " => " << std::flush << demangleName << endl;
 	free(demangleName);