Upstream problem is almost resolved now. That said, I want to bring up a different topic (bringing it up now because I might very well forget about it later): I suggest making `--with-iri` the default. Arguments supporting this suggestion:
- It is the default in upstream's `configure`, we're disabling it with the option `--disable-iri`;
- It only introduces a very lightweight dependency, `libidn`;
- It's 2017 now, IRI is widely used and even being promoted to basically the same status as URI in W3C's [HTML5 working draft](https://dev.w3.org/html5/spec-LC/urls.html).