additions to .bashrc