looked around and found curl 'k' option to ignore TLS; now I am getting "could not determine latest version of pulumi..."