Das Update auf 9ebce86fd hat das Problem behoben. Vielen Dank an alle für ihre Hilfe.
Dies ist das zweite Upgrade in der letzten Zeit, das zu Problemen geführt hat, und es scheint, dass es nicht einfach ist, auf eine stabilere Version umzusteigen, ohne sie richtig mit den anderen Branches abzustimmen.