Browsing: how to repair mp4 file in vlc player