Irfanview soll Videodateien umändern?
Wenn es denn nur um das ändern von Dateiendungen ginge, hätte es die Z-Shell unter Linux (ich gehe davon aus, dass der Herr Dennis_meckel sein Community-Mandrake noch auf einer seperaten Partition hat) mit einem Einzeiler gelöst:
Das gleiche geht natürlich auch mit AVI zu $BeliebigesFormat.
PS: Bei meiner Lösung braucht man nur die Shell seines Vertrauens (welche natürlich nur die ZSH in Version 4.2.4 ist!).