innanzitutto grazie per la risposta.
Sto esportando in Flash 7.0, ma non sto usando niente che una qualunque versione di flash dalla 5 in poi non supportasse (non ho actionscript particolari nè amenità di sorta).
Vedrò più tardi... che tristezza, che sconforto