python -m SimpleHTTPServer 443
Remember - the server end is Windows, and the guys at that end didn't know what to do if it wasn't an .msi or .exe.
Reply on news.ycombinator.com