Re: [GHC] #7595: Static flags code needs cleanup