Makefile sets $PATH in ~/.bashrc