Atualizar para 9ebce86fd resolveu o problema. Obrigado a todos pela ajuda.
Esta é a segunda atualização recente que resultou em problemas, e parece que não é fácil obter uma versão mais estável sem sincronizá-la adequadamente com os outros branches.