fix SpiderMonkey location