[sr-dev] git:master:1d8de215: Makefile: updated paths for installing the tools