Adapt to latest mirage-tcpip changes