I've been trying to save some streams using VLC 0.9.8a using Media->Convert/Save->Network, which works as expected in the sense that the stream is saved to disk as it is being played. However, when the stream is done playing, the saved file is replaced by a zero-byte empty file so that all the data ...