fix cound not play sound on IE11. backported from Blockly.
removed PLATFORM x86-mingw32.