fix bug in cabal file