Actualizar a 9ebce86fd solucionó el problema. Gracias a todos por su ayuda.
Esta es la segunda actualización reciente que ha provocado problemas, y parece que no es fácil obtener una versión más estable sin sincronizarla adecuadamente con las otras ramas.