Fix cabal file and remove unnecessary GHC options