use ssh nickname for convenience