--- a/src/core/wscript	Wed Jan 18 17:04:01 2012 +0100
+++ b/src/core/wscript	Wed Jan 18 18:13:25 2012 +0100
@@ -3,6 +3,8 @@
 
 import Options
 
+import wutils
+
 def options(opt):
     opt.add_option('--int64x64-as-double',
                    help=('Whether to use a double floating point'
@@ -94,7 +96,7 @@
     conf.write_config_header('ns3/core-config.h', top=True)
 
 def build(bld):
-    bld.install_files('${PREFIX}/include/ns3', '../../ns3/core-config.h')
+    bld.install_files('${INCLUDEDIR}/%s%s/ns3' % (wutils.APPNAME, wutils.VERSION), '../../ns3/core-config.h')
 
     core = bld.create_ns3_module('core')
     core.source = [