library needed for swftools