make zsh less case-sensitive