Update to use socket.h from thalamus kernel