Add default port 443 is there is no port specified in the input file