closed #2340: Updating spidermonkey library for iOS.