Make the SSE .cabal flags manual