Remove some old cruft from bash_profile.