SpiderMonkey v20 works on iOS devices