Make port generic in mammoth zsh plugin