fixed #2043: Upgrading SpiderMonkey to Firefox20.0.