Adjust for change of directory name in .bashrc