zsh decided to change dump format