Add DESTDIR, distinct from PREFIX, to Makefile