modify ext-all.js for IE8 bug