issue #2483: Upgrading spidermonkey library to v23.