some minor change to .bash_profile and .emacs