If I compress an AVI using the DivX codec, then import it into a Flash movie, will other people I pass the published Flash movie to be required to have the DivX codec installed on their computer, or does Flash recompress the movie under one codec?