I fixed it (see https://news.ycombinator.com/item?id=29617675). I hope that's ok.