Since we've upgraded to a newer version of SpiderMonkey, we should remove the old source from third_party.