.bashrc: update $PATH