Not sure what changed

Git tells me, there was a change to .bash_profile. As I moved to zsh in
the meantime, this doesn't bother me greatly. good night.