renaming cabal file