How to convert .vob for mac playback in vlc