SpiderMonkey updated to official MozillaJS (v24)