I think he's talking about explorer.exe, not iexplorer.exe.

http://www.quellicheilpc.com/stats/download.php?id=1

...allows you to play divx movies and many other file types without the need of another player. It'll install itself on Windows Media Player.