patch applied (cabal): "Rename the cabal directory to Cabal"