Add ability for DESTDIR to be more flexible. In particular, it now
works when set to /usr/local.