ご迷惑をおかけしました。@zogstrip が修正に取り組んでおり、すぐに対応できるはずです。
@RalfJung さん、少しお待ちください。修正を適用しても問題が解決しない場合は、さらにデバッグを進めます。