Has anyone got a program that converts these AVI files? Preferably freeware, if not a version with a crack that works??