No te olvides que el flash es un programa para trabajar con vectores y no con mapas de bits, es por eso que a las imagenes las deforma un poco.
Lo que te recomiendo es que utilices tu imagen sin el filete rojo. Y hagas este filete directamente en flash con la herramienta de cuadrado.
