fixed #2043: Updating spidermonkey to Firefox v20 for Windows.