source bash_profile at the end of bashrc