bash_profile: cleanup