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