--- a/src/core/wscript	Tue Jun 12 11:37:56 2007 +0200
+++ b/src/core/wscript	Tue Jun 12 14:05:01 2007 +0100
@@ -32,7 +32,6 @@
         'test.cc',
         'random-variable.cc',
         'rng-stream.cc',
-        'interface.cc',
         'uid-manager.cc',
         'default-value.cc',
         'command-line.cc',
@@ -52,6 +51,7 @@
     headers = bld.create_obj('ns3header')
     headers.source = [
         'system-wall-clock-ms.h',
+        'empty.h',
         'callback.h',
         'ptr.h',
         'object.h',
@@ -61,7 +61,6 @@
         'test.h',
         'random-variable.h',
         'rng-stream.h',
-        'interface.h',
         'default-value.h',
         'command-line.h',
         'type-name.h',