Improved setup_bash_profile.sh