bash_profile: source those sourcefiles