Deal with TCP header options.

Not all TCP headers are the same size!