If you want to convert from Flash to AVI (on linux) there is a good script here. It uses mencoder to convert files specified on the command line to XVID or DIVX - files are created using the same filename, but with an avi extension.