How to convert vro files to mp4 on Mac