change the name of the directory where libraries and programs are installed

The problem is that ./local in the build directory will collide with ./local
in the source directory if the two directories are the same.  The latter is
where the autoconf tools are installed, if needed.