Compatibility fix for old SpiderMonkey