I've a similar problem although I'm behind some sort of NTserver proxy (80?!) which I know little about. When I try the suggested ping i get unknown host.

What next?