use C stdio streams for sockets