I sent a note about this to appropriate people.
I cannot say now if there is a simple workaround for the crash.
