Index: src/Validate/module.mk
===================================================================
--- src/Validate/module.mk	(revision 5cbacf10c007573bb52e9dbace6bc7d304c98b78)
+++ src/Validate/module.mk	(revision be30a90e535d46200414e55c3556dce1615e449c)
@@ -16,2 +16,3 @@
 
 SRC += Validate/HandleAttributes.cc
+SRCDEMANGLE += Validate/HandleAttributes.cc