How to convert vro files to mpeg video on Mac?