Get the stream file option to work with VLC 2.0 (compatibility with
older versions broken).