cinemark convert dvd to avi open source