No you should leave out the HTTP:// bit so your first choice should be OK.
I have a similar problem on my own Tiki 1.7. The '=' sign is also missing. My HTTP server name is prepended to it but without the HTTP server port which I need because I run my Tiki on a non-standard port (not 80).
So looks like a couple of bugs in this area...