On 04.04.2021 16:13, Paweł Zuzelski wrote: > > I sent another PR on Github, with that change it builds at th-2020 > (and has been working well for me for like two days now). you could at least share the link of the pull request. so could fetch the changes from there.