rinse: more fiddling w/ .bash_profile