support for DESTDIR in the Makefile (needed by debuild)