We KDE now. Some misc changes to bashrc