vcloud-curl tools salvaged from vcloud-tools/utils/