I just reinstalled my operating system, windows 7, and before this I had .avi as an option in the "save as" file type drop down menu that comes up when you want to save a divx video. Now I only have the option to save as a divx file. I didn't have any special conversion software before, and I installed only the divx web player( no codec pack, desktop player, etc.) just like before I had to reinstall. Any ideas why I can no longer save to avi?