Bug in 4.4 BSD based TCP implementations