How to convert video files with vlc