Further fix Linux SpiderMonkey stuff