small changes in .bashrc