--- a/src/core/wscript	Fri Mar 14 16:37:02 2008 -0700
+++ b/src/core/wscript	Wed Dec 26 13:40:39 2007 +0000
@@ -67,6 +67,7 @@
             ])
     
     headers = bld.create_obj('ns3header')
+    headers.module = 'core'
     headers.source = [
         'system-wall-clock-ms.h',
         'empty.h',