How to convert swf files to other formats