zsh stuff for ekr