del: Auto-repair the default shell to zsh, which is buggy.