These are the changes for being friendly with my path-saving zsh history