fixed #2043: Updating to spidermonkey20 for android.