Use BSD sockets from picoos-net.