Update bashrc_extra.sh