Lo que muy probablemente pase es que a pesar de que la extension sea avi, la codificacion no sea una divx estandar. Con esto me refiero, que un archivo con extension .avi, puede tener, por ejemplo, el audio en mp3 o en ogg, el video en divx con sus diferentes versiones(1,2,3,4,5,6) o xvid o cualquier otro que cumpla los estandares MPEG4.
El PC, no suele tener problemas de codificacion debido a la gran biblioteca de codecs que se almacenan en el pc, e incluso es capaz de actualizar algun codec en caso que sea necesario a traves de internet.
Te recomiendo recodificar esos archvios a un, por ejemplo, divx 5.0 con audio mp3, con eso te aseguras la correcta reproduccion en casi cualquier aparato, para ello, puedes usar por ejemplo, un programa llamado SUPER, el cual es gratuito y muy funcional.