Bash profile file to read bashrc