Make SoundPlayer use OGG in Firefox, MP3 otherwise