Libraries makefile

[Stefan Holdermans]

I noticed that the makefile in ghc/libraries is changed recently--- 
could it be broken? When building GHC HEAD on Mac OS X (Darwin, Power  
PC), I got:

   ...
   make -C libraries boot
   rm -f -rf bootstrapping.Cabal
   cp -R Cabal bootstrapping.Cabal
   bootstrapping.Cabal \( -name "*.o" -o -name "*.hi" \) \
                            -exec rm -f -f {} \;
   /bin/sh: line 1: bootstrapping.Cabal: command not found
   make[1]: *** [stamp/bootstrapping.Cabal] Error 127
   make: *** [stage1] Error 2