Patch for spidermonkey v25.