[sr-dev] git:master: makefile: fix $DESTDIR