It would be best if you traced the pivot animation once it was in there, rather than just importing the gif and being done with it. Pivot is pixel-based but flash is vector-based, which means pivot looks really jagged next to flash. Putting both in the same animation can make that really noticeable.