[Probity]

Ипользуйте сторонний конвертор, вроде Amor SWF to Video. Плюс - точная и четкая конвертация во все форматы. Минус - может зависнуть на мощных блёрах и прочих эффектах от Адоба.

На самом флэше кстати имхо лучше работает экспорт в QuickTime .mov формат. Из него уже любым видеоредактором можно получить .avi