You need to load the project into Video Easy and then export it - as far as I can see you can only export wmv or mpg file formats.
If you need avi - which is not a video format - it is a container file which can have any video format inside eg mpg, XVid, DivX etc - then you will also need video converter software.