fixed appending to bash_profile even when it already sourced bashrc