Disculpas por esto. @zogstrip está trabajando en una solución, no debería tardar mucho.
@RalfJung, esperemos un poco aquí. Una vez que tengamos la solución implementada, si no resuelve tu problema, podremos hacer más depuración.