updated SpiderMonkey