Misc optimizations for zsh startup time