.bashrc: PATH for git-hg