Add ability for DESTDIR to be more flexible during "make install".

In particular, "make install" now works when DESTDIR is set to /usr/local.