remove obsolete SpiderMonkey flags