By the way I know vidflash.com also can convert one formats to another (flash to video; video to flash etc...). It's not a software but service. It's for free too as I know. And it supports Mac too.