--- a/src/wscript	Wed Sep 09 09:47:36 2015 -0700
+++ b/src/wscript	Wed Sep 09 15:14:27 2015 -0700
@@ -721,7 +721,7 @@
             if ns3headers.module != self.module:
                 continue
             found_the_module = True
-            for source in ns3headers.headers:
+            for source in sorted(ns3headers.headers):
                 source = os.path.basename(source)
                 node = ns3_dir_node.find_or_declare(os.path.basename(source))
                 if node is None: