Actually read TCP options