Some changes to speed up the makefile. This will benefit make test, which is part of the release script.
make test