bash_profile: restructure