remove some junk from bash_profile