More bashrc prompt fixes