Bash: source files from bash_profile