making ssh port configurable