Changed beforeinstall rule to use `install -C' instead of `cmp -s' and `install -c'. `install -C' has exactly the right semantics for installing headers and should be used elsewhere.
After this commit, you should be able to build libmp and libgmp independently and without being forced to do a make depend first..