Properly send and use tcp timestamps