there shall only be one (bashrc is invoked by subshells, bash_profile only by login, so put everything in bashrc)