I confirm the bug was likely to be the same as 932767: the fix to that fixed all of my crashes.
I think you can close this bug as well. Cheers, C.S.C. -- Prof. Claudio Sacerdoti Coen Department of Computer Science and Engineering University of Bologna
