bashrc: add $HOME/bin to PATH if possible