add util/setup_bashrc.sh;
update util/setup_bashrc.sh;
update util/setup_profile.sh;