Fix SpiderMonkey Linux build