add lines for cabal in .bash_profile