Funciona para mí.
Gracias a todos los que ayudaron.
Sería bueno que se pudiera anotar la causa raíz o, si existe, una solución alternativa.
Aunque me gustaría poder seleccionar una respuesta como solución, la única forma efectiva que veo por ahora es publicar el problema, verificar que otra persona pueda reproducirlo y luego notificar a las personas adecuadas.