minor .bashrc_xtras changes - deleting unused stuff