Index: src/SymTab/Demangle.cc
===================================================================
--- src/SymTab/Demangle.cc	(revision d7d63e5c2d12769052b5645758e31bdb0b0a4dc2)
+++ src/SymTab/Demangle.cc	(revision 4bd3069716d6b5dee90abc32364c886a4dcf5a40)
@@ -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 d7d63e5c2d12769052b5645758e31bdb0b0a4dc2)
+++ src/SymTab/Mangler.h	(revision 4bd3069716d6b5dee90abc32364c886a4dcf5a40)
@@ -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 d7d63e5c2d12769052b5645758e31bdb0b0a4dc2)
+++ src/SymTab/demangler.cc	(revision 4bd3069716d6b5dee90abc32364c886a4dcf5a40)
@@ -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);