Ignore the error about extra.zsh being unavailable