Adding IE9.js.