bashrc: lots of fixes.