read .bash_profile in setup.sh