.bash_profile: clean-up PATH at end