no need to source bashrc from bash_profile