ZSH: remove unused options