[Bug 8091] DVDShrink 3.2.0.15 randomly crashes with page fault