Adapt to latest mirage-tcpip API changes