compress large video files via VLC