fix JavaScript loading error in IE10, fix URL encoding in internal paths