Cast SSH port string to int to fix TypeError