bash_profile: source files conditionally