@ Habi: Normalerweise kannste das einfach ändern in dem du grad die Dateiendung umbenennst. Wenn das File dann nicht mehr abgespielt werden kann musst du es 'richtig' umwandeln.
Wenn wie du es jetzt von mpg auf avi willst googelste einfach mal nach "mpg to avi" da findest genug Tools die das können...