brought .bashrc up-to-date