Updating: adding libc API for BSD sockets