mi sa che non c'è nulla da fare, sia su Windows che su Mac, il player più veloce e con prestazioni maggiori risulta sempre quello di IE, pecca magari su altre cose, ma non sulla velocità di esecuzione