fixed #2214: Upgrading Spidermonkey to Firefox v21