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