made clear that the .bash_profile in the user root directory is meant