make SSH port configurable