-- additions to bash_profile and init.el, after some house cleaning