zsh: modify a `shell' variable from /bin/zsh to  zsh.