Some tlc for update of bash_profile before switch to zsh