Hmmm, that might be a possible reason. I don't believe the old code stopped the video before deleting it, and the current code does that for over 70 videos in some of the themes. Sometimes it's just a matter of increasing chances when you do the same thing over and over again, each with a small chance of crashing the program. It's a rather old bug though; would that still be part of the current gstreamer code?