I think that there are a couple of different output formats that OpenFL can use for handling swf assets. swflite is one of them. I don't know much about the differences between these formats because I haven't needed to use swf assets in any of my projects yet.