Update cabal.bat