I cannot reproduce the problem and don't see how the javascript would be missing for IE 9, more likely it is missing the CSS. If you added the CSS to your style.config file, the browser may still have the old version cached. The best solution is to copy your skin with a new name like myskin_v2 then change to that skins and all users will get the latest CSS since the url changed.
Hope that helps,
Joe