Added O3 to ghc-options.