Hi Robert!
Right now I tried and
bootstap, configure, make dist
work fine to me with Main branch.
I'll be able to check what is going on with 5.12 in 10 hours.
WBR,
Vadim
--
Vadim V. Zhytnikov
<vvzhy at mail.ru>
<vvzhy at netorn.ru>