How to convert a file to mp4 using vlc