How to save flip videos as avi?

for some reason whenever I save my flip ultra HD videos they are in WMP!!! I want them in AVI. How can I save them as AVI??