OPEN SOURCE VIDEO CONVERTER WMV TO AVI