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