bashrc: get rid of some stuff from three jobs ago