Bugfix: always respect $(DESTDIR) in Makefile