cleanup: turn off some unused flex options