Remove spidermonkey-specific files