A better PNG encoder for Flash