We fixed it. But it looks like the fix stopped working with the upgrade to Qt 5.2. It is hard to debug, as it does not have a stable reproduction.