hotfix #2: resolvers and cgiproxy archive was broken by Great Singapore Firewall