Comment 20 for bug 1514912

Harald: the preliminary workaround you posted here

http://bug-attachment.xfce.org/attachment.cgi?id=6530

fixes the problem for me. More precisely, about 10 trials in the last 15 minutes showed no crash. Will try more extensively tomorrow (but am quite sure the crash is gone).