sourcing bash_profile from bashrc