OT: How to select a new port number for ssh