Acho que ainda não fui claro.
Vejam só:
Para ler arquivos IV32, o windows media player precisa do plugin do índeo "ir32_32.dll"
As vezes estes arquivos vem renomeados com AVI. Deveria ser assim:
Arquivo.iv32 e não Arquivo.avi
Então, se você for pedir a extensão do arquivo "ARQUIVO.AVI" as funções que conheço vão retornar apenas ".AVI". Preciso de uma que revele a verdadeira extensão desse arquivo, que no caso seria "IV32".
Deu pra entender?