The patcher is failing with the error: `ERROR Error in CURL get request: Couldn't resolve host name` However, there's no additional information provided to know what hostname is failing.