[sr-dev] git:master:46862c7b: tcp: fix tcp_options.o compilation