I have a related question. I run VLC Media Player 1.1.12 on Linux Mint 12. Very often, I use VLC on the Linux Mint 12 machine, to play DVDs that are stored as .iso files on a Windows 7 machine, over the LAN. Sometimes, playback will freeze completely, and VLC appears to crash. In Mint 12, I have to ...