Work around mirage-www build error that is not related to tcpip