Run distclean for Mozilla Spidermonkey.