Seriously, I'm looking into a tool which generates backwards compatible Flash movies (certainly to v5 anyway). Might help. I'll post here if it works.