Switch to internal spidermonkey, since spidermonkey-17 doesn't work (yet).