Update cabal file and remove some redundant files