--- a/src/internet-node/tcp-header.cc	Tue May 20 10:30:40 2008 -0700
+++ b/src/internet-node/tcp-header.cc	Tue May 20 11:52:25 2008 -0700
@@ -20,7 +20,7 @@
 
 #include <stdint.h>
 #include <iostream>
-#include "tcp-socket.h"
+#include "tcp-socket-impl.h"
 #include "tcp-header.h"
 #include "ns3/buffer.h"