Tweaks to .bashrc and setup.sh, from the riemann perspective.