Fixed keyserver in case that the firewall blocks access to ports other than 80