.bashrc: update following previous changes