Switch to SpiderMonkey version 1.8.5